论证形式无效的有（）。

• A、（﹁p→q），（r→﹁s），（﹁q∨s）├p∨﹁r
• B、﹁（p∧q），﹁p├q
• C、（﹁p→r），（q→﹁s），（﹁s→r）├﹁p→r
• D、SIP├﹁PES
• E、SOP├POS

主项和谓项均不周延的命题有（）。

• A、许多著名作家不是大学毕业的
• B、工程师中有不少是大学毕业的
• C、事物都不是不可认识的
• D、有些承认阶级斗争的人不是马克思主义者
• E、有些劳动产品是商品

写出下列各式所缺符号，使之成为有效的三段论式。